type T = A ||
